A Representation Theorem for Unique Decomposition Categories
نویسندگان
چکیده
منابع مشابه
A Representation Theorem for Unique Decomposition Categories
Haghverdi introduced the notion of unique decomposition categories as a foundation for categorical study of Girard’s Geometry of Interaction (GoI). The execution formula in GoI provides a semantics of cut-elimination process, and we can capture the execution formula in every unique decomposition category: each hom-set of a unique decomposition category comes equipped with a partially defined co...
متن کاملA Pseudo Representation Theorem for Various Categories of Relations
It is well-known that, given a Dedekind categoryR the category of (typed) matrices with coefficients from R is a Dedekind category with arbitrary relational sums. In this paper we show that under slightly stronger assumptions the converse is also true. Every atomic Dedekind category R with relational sums and subobjects is equivalent to a category of matrices over a suitable basis. This basis i...
متن کاملA unique common fixed point theorem for six maps in g-metric spaces
In this paper we obtain a unique common xed point theorem for sixweakly compatible mappings in G-metric spaces.
متن کاملA Decomposition Theorem for Domains
A domain constructor that generalizes the product is de ned. It is shown that with this constructor exactly the prime-algebraic coherent Scott-domains and the empty set can be generated from two-chains and boolean at domains. 3 List of Symbols I am identifying the symbols by the corresponding Latex(+Amssymb)-symbols. " uparrow # downarrow ! rightarrow ? bot > top leq geq 2 in W bigvee V bigwedg...
متن کاملA Noether-Deuring theorem for derived categories
We prove a Noether-Deuring theorem for the derived category of bounded complexes of modules over a Noetherian algebra.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2012
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2012.08.014